Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
361	Position Paper: Static Debugging of Programs Using High-Level Concurrency Libraries Philipp Haller EPFL, Switzerland Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2010-10-05 16:30:08 Type theory Cross-platform software Functional languages Java platform Procedural programming languages Scala Type system Ada Haskell Computing Software engineering Programming language theory
362	3 Application Form for Companies Much of the strength of the DSA Code of Ethics lies in widespread knowledge about the Code, its provisions and how to take advantage of the Code’s protections should a violation occur. Add to Reading List Source URL: www.wfdsa.org Language: English - Date: 2015-02-11 17:58:41 HTML HTML element C Programming language theory Direct selling Computing Procedural programming languages Software engineering
363	The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st Add to Reading List Source URL: wiki.t-o-f.info Language: English - Date: 2012-01-05 14:13:29 Procedural programming languages Type theory Data types Programming paradigms Richard Bornat ALGOL 68 Programming language Assignment C Software engineering Computing Computer programming
364	PDF Document Add to Reading List Source URL: www.forth200x.org Language: English - Date: 2013-09-12 12:49:16 Computing Programming language theory Software engineering Forth PK machine gun
365	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory
366	DOC Document Add to Reading List Source URL: www.twmlsws.edu.hk Language: English - Date: 2011-11-28 01:17:02 Occupations ALGOL 68 Software engineering Computing Programming language theory Accountancy Finance
367	PDF Document Add to Reading List Source URL: upc.gwu.edu Language: English - Date: 2013-12-04 13:04:31 Procedural programming languages C ALGOL 68 D Software engineering Computing Programming language theory
368	Report from Dagstuhl SeminarFoundations for Scripting Languages Edited by Robert Hirschfeld1 , Shriram Krishnamurthi2 , and Jan Vitek3 Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:29 Scripting languages Type theory Cross-platform software JavaScript Racket Programming language Dynamic programming language Lua Python Computing Software engineering Software
369	PDF Document Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:00 Type theory Functional languages Data types Type systems Quantification ATS Hindley–Milner F Sharp System F Software engineering Computing Programming language theory

UPDATE